../../hde/hde64.h